Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
961	Joint Hurricane Testbed Final Report for Year 1 October 1, 2007-March 31, 2007 Project title: An Improved Wind Probability Estimation Program Principal Investigators: Stan Kidder, Mark DeMaria and Pat Haar Affiliation: K Add to Reading List Source URL: www.nhc.noaa.gov Language: English - Date: 2008-10-27 15:20:00 Probability distribution Standard deviation Statistical hypothesis testing Errors and residuals in statistics Statistics Data analysis Error
962	Kepler Data Release 24 Notes Q0–Q17 KSCIData Analysis Working Group (DAWG) Susan E. Thompson (Editor) Add to Reading List Source URL: archive.stsci.edu Language: English - Date: 2015-04-06 09:28:07 Discovery program Exoplanetology Johannes Kepler Kepler Spacecraft Spaceflight Space technology
963	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
964	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-11-14 19:27:33 Embedded Linux Smartphones Java platform Android Type system Apache Ant Java Software Computing Cross-platform software
965	Fulton County, New York Agricultural Development and Farmland Protection Plan V - Policy Options The following analysis is intended to offer descriptions and observations regarding specific farmland preservation tools em Add to Reading List Source URL: www.shepstone.net Language: English - Date: 2006-07-06 08:33:11 Urban studies and planning Environment Energy law Agriculture Land law Conservation easement Farmland preservation Conservation Reserve Program Farmland protection Conservation in the United States United States Department of Agriculture Real property law
966	Draft Special PublicationSource Code Security Analysis Tool Functional Specification Version 1.0 Information Technology Laboratory (ITL), Software Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Computer security Software testing Computer network security Security engineering Software security assurance Vulnerability Application security Software assurance Static program analysis Software quality Cyberwarfare Security
967	April 20, 2015 The purpose of this memo is to inform you that the California Natural Resources Agency has completed the transformation of the California Environmental Resources Evaluation System (CERES) Program. The Cal Add to Reading List Source URL: ceres.ca.gov Language: English - Date: 2015-04-24 17:08:54 Geographic information systems Ceres ArcGIS Geospatial analysis Geography Science Geographic information systems in geospatial intelligence Cartography California Environmental Resources Evaluation System Environment of California
968	2014 NCA LSI DIVISION – Long Program THURSDAY, NOVConversation Analysis Data Session 8:00AM – 9:15AM Add to Reading List Source URL: www.nca-lsi.org Language: English - Date: 2014-11-05 14:37:22 Discourse analysis Knowledge Conversation analysis Sociolinguistics Emanuel Schegloff Harvey Sacks Alexa Hepburn Framing Conversation Linguistics Applied linguistics Science
969	Value Analysis Frama-C’s value analysis plug-in OxygenPascal Cuoq with Virgile Prevosto and Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:54 Function Expected value Program analysis Mathematics Software Frama-C
970	Ionospheric Communications Enhanced Profile Analysis & Circuit (ICEPAC) Prediction Program Technical Manual Ionospheric Communications Enhanced Profile Analysis & Circuit (ICEPAC) Prediction Program Technical Manual Ion Add to Reading List Source URL: www.greg-hand.com Language: English - Date: 2009-02-11 15:25:36 Technology Plasma physics Atmosphere Planetary science Radio propagation Ionosphere F region Skywave Aurora Physics Space plasmas Electromagnetic radiation

UPDATE